class X {
  String s = "'\\'\\'\\'";
}